Basic research - PDFSEARCH.IO - Document Search Engine

Basic research
Results: 2119

#	Item
301	FY2015 STRATEGIC BASIC RESEARCH PROGRAMS (CREST/PRESTO) Invitation for Application of Research Proposals [Second Term Application Guidelines] Add to Reading List Source URL: www.senryaku.jst.go.jp Language: English - Date: 2015-06-16 01:08:02 Research and development Framework Programmes for Research and Technological Development Research
302	BRICS Basic Research in Computer Science BRICS RSDamg˚ard & Nielsen: Universally Composable Commitments with Constant Expansion Factor Perfect Hiding and Perfect Binding Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-11-06 08:55:18 Public-key cryptography Secure channel Commitment Universal composability Cryptography Cryptographic protocols Commitment scheme
303	BRICS RS-05-9 Frandsen & Miltersen: Reviewing Bounds on the Circuit Size of the Hardest Functions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:33:41 Circuit complexity Complexity classes Mathematical notation Computational complexity theory Stack Boolean circuit Summation NC ACC0 Theoretical computer science Mathematics Applied mathematics
304	BRICS Basic Research in Computer Science BRICS DS-97-3 T. Husfeldt: Dynamic Computation Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-01-16 09:45:05 Complexity classes Algorithm Mathematical logic Model of computation PP Dynamic problem P ACC0 Circuit complexity Theoretical computer science Computational complexity theory Applied mathematics
305	BRICS Basic Research in Computer Science BRICS DSP. B. Oliva: Proof Mining in Subsystems of Analysis Proof Mining in Subsystems of Analysis Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-03-30 19:22:36
306	BRICS RSBiernacka et al.: Program Extraction from Proofs of Weak Head Normalization BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-05-02 03:50:09
307	BRICS Basic Research in Computer Science BRICS RS-01-7 Gutin et al.: On the Number of Quasi-Kernels in Digraphs Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-02-27 07:32:09 Kernelization Directed graph Hilbert space Mathematics
308	BRICS Basic Research in Computer Science BRICS DSS. Fehr: Secure Multi-Player Protocols: Fundamentals, Generality, and Efficiency Secure Multi-Player Protocols: Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-03-23 18:26:23
309	BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-08-23 08:48:12 Programming language semantics Logic in computer science Operational semantics BRIC Peter Mosses Gordon Plotkin Congruence relation Theoretical computer science Mathematics Formal methods
310	BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-13 07:44:53 Computer science Models of computation Applied mathematics Logic in computer science Normalisation by evaluation Denotational semantics De Bruijn index Symbol Administrative normal form Theoretical computer science Lambda calculus Programming language semantics

UPDATE